MOD P IRREDUCIBILITY TEST